theme: Fix solid-csd borders

The selectors did not apply anymore.
Based on a patch by Alberts Muktupāvels.

diff --git a/gtk/theme/Default/_common.scss b/gtk/theme/Default/_common.scss
index 83692f5e9747301aa8b130699f43d5fa093ec948..2e6dade4ddc7285742a58b9643b00f2e059341ab 100644 (file)
--- a/gtk/theme/Default/_common.scss
+++ b/gtk/theme/Default/_common.scss
@@ -4068,16 +4068,16 @@ window {
       box-shadow: 0 1px 2px transparentize(black, 0.8),
                   0 0 0 1px transparentize($_wm_border, 0.1);
     }
+  }
 
-    &.solid-csd {
-      margin: 0;
-      padding: 0;
-      border: solid 1px $borders_color;
-      border-radius: 0;
-      box-shadow: inset 0 0 0 3px $headerbar_bg_color, inset 0 1px $top_hilight;
+  &.solid-csd {
+    margin: 0;
+    padding: 4px;
+    border: solid 1px $borders_color;
+    border-radius: 0;
+    box-shadow: inset 0 0 0 3px $headerbar_bg_color, inset 0 1px $top_hilight;
 
-      &:backdrop { box-shadow: inset 0 0 0 3px $backdrop_bg_color, inset 0 1px $top_hilight; }
-    }
+    &:backdrop { box-shadow: inset 0 0 0 3px $backdrop_bg_color, inset 0 1px $top_hilight; }
   }
 
   &.maximized,